closure of relations solved problems